home *** CD-ROM | disk | FTP | other *** search
- /* -*- tab-width: 4; indent-tabs-mode: nil -*-
- *
- * The contents of this file are subject to the Mozilla Public License
- * Version 1.1 (the "License"); you may not use this file except in
- * compliance with the License. You may obtain a copy of the License at
- * http://www.mozilla.org/MPL/
- *
- * Software distributed under the License is distributed on an "AS IS" basis,
- * WITHOUT WARRANTY OF ANY KIND, either express or implied. See the License
- * for the specific language governing rights and limitations under the
- * License.
- *
- * The Original Code is The JavaScript Debugger
- *
- * The Initial Developer of the Original Code is
- * Netscape Communications Corporation
- * Portions created by Netscape are
- * Copyright (C) 1998 Netscape Communications Corporation.
- *
- * Alternatively, the contents of this file may be used under the
- * terms of the GNU Public License (the "GPL"), in which case the
- * provisions of the GPL are applicable instead of those above.
- * If you wish to allow use of your version of this file only
- * under the terms of the GPL and not to allow others to use your
- * version of this file under the MPL, indicate your decision by
- * deleting the provisions above and replace them with the notice
- * and other provisions required by the GPL. If you do not delete
- * the provisions above, a recipient may use your version of this
- * file under either the MPL or the GPL.
- *
- * Contributor(s):
- * Robert Ginda, <rginda@netscape.com>, original author
- *
- */
-
- body {
- background: #dddcf4;
- }
-
- body[hasSearched="true"] .newbie-help {
- display: none;
- }
-
- .quick-searches,
- .search-input {
- display: block;
- width: 100%;
- text-align: center;
- }
-
- a {
- font-weight: bold;
- color: darkslategrey;
- }
-
- a:visited {
- color: #444444;
- }
-
- #command-list a {
- text-decoration: none;
- }
-
- #command-list a:hover {
- text-decoration: underline;
- }
-
- #match-count {
- color: darkslategrey;
- width: 100%;
- display: block;
- font-size: larger;
- font-weight: bold;
- padding-top: 20px;
- padding-bottom: 20px;
- text-align: center;
- }
-
- #help-menu {
- background: lightgrey;
-
- padding: 5px;
- border: 2px black solid;
- }
-
- .value[item="description"] {
- margin-left: 15px;
- display: block;
- }
-
- .value[item="command-name"],
- .value[item="usage"] {
- font-family: monospace;
- }
-
- .command {
- padding: 10px;
- background: white;
- display: block;
- border: 2px silver inset;
- }
-
- .command-name,
- .param {
- font-family: monospace;
- font-weight: bold;
- }
-
- .label {
- font-weight: bold;
- color: #666666;
- font-variant: small-caps;
- }
-
- .goto-top {
- display: block;
- width: 100%;
- text-align: right;
- }
-